نظرية وتطبيقات البرمجة التركيبية والصحيحة، يتضمن هذا التعداد وقطع السطوح المستوية واختزال الأساس وطرق التطابق والاستناد.